Representing Scott sets in algebraic settings

We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger arithmetic

The phenomena of encroaching processes: Toward a theory of organizational change

Dissertation (Ph.D.)--University of Kansas, Business, 2002

Levelled 0-minimal structures

Sin resume

Π^1_1 Borel Sets

The results in this paper were motivated by the following question of Sacks. Suppose T is a recursive theory with countably many countable models. What can you say about the least ordinal ɑ such that all models of T have Scott rank below ɑ? If Martin's conjecture is true for T then ɑ ≤ ω·2

Prototyping Operational Autonomy for Space Traffic Management

Current state of the art in Space Traffic Management (STM) relies on a handful of providers for surveillance and collision prediction, and manual coordination between operators. Neither is scalable to support the expected 10x increase in spacecraft population in less than 10 years, nor does it support automated manuever planning. We present a software prototype of an STM architecture based on open Application Programming Interfaces (APIs), drawing on previous work by NASA to develop an architecture for low-altitude Unmanned Aerial System Traffic Management. The STM architecture is designed to provide structure to the interactions between spacecraft operators, various regulatory bodies, and service suppliers, while maintaining flexibility of these interactions and the ability for new market participants to enter easily. Autonomy is an indispensable part of the proposed architecture in enabling efficient data sharing, coordination between STM participants and safe flight operations. Examples of autonomy within STM include syncing multiple non-authoritative catalogs of resident space objects, or determining which spacecraft maneuvers when preventing impending conjunctions between multiple spacecraft. The STM prototype is based on modern micro-service architecture adhering to OpenAPI standards and deployed in industry standard Docker containers, facilitating easy communication between different participants or services. The system architecture is designed to facilitate adding and replacing services with minimal disruption. We have implemented some example participant services (e.g. a space situational awareness provider/SSA, a conjunction assessment supplier/CAS, an automated maneuver advisor/AMA) within the prototype. Different services, with creative algorithms folded into then, can fulfil similar functional roles within the STM architecture by flexibly connecting to it using pre-defined APIs and data models, thereby lowering the barrier to entry of new players in the STM marketplace. We demonstrate the STM prototype on a multiple conjunction scenario with multiple maneuverable spacecraft, where an example CAS and AMA can recommend optimal maneuvers to the spacecraft operators, based on a predefined reward function. Such tools can intelligently search the space of potential collision avoidance maneuvers with varying parameters like lead time and propellant usage, optimize a customized reward function, and be implemented as a scheduling service within the STM architecture. The case study shows an example of autonomous maneuver planning is possible using the API-based framework. As satellite populations and predicted conjunctions increase, an STM architecture can facilitate seamless information exchange related to collision prediction and mitigation among various service applications on different platforms and servers. The availability of such an STM network also opens up new research topics on satellite maneuver planning, scheduling and negotiation across disjoint entities

Strategic Improvements for Gross Anatomy Web-Based Teaching

Current generations of graduate students have been immersed in technology from their early school years and have high expectations regarding digital resources. To better meet the expectations of Gross Anatomy students at our institution, electronic radiology teaching files for first-year coursework were organized into a web site. The web site was custom designed to provide material that directly correlated to the Gross Anatomy dissection and lectures. Quick links provided sets of images grouped by anatomic location. Additionally, Lab and Study Companions provided specific material for the students to review prior to and after lectures and gross dissections. Student opinions of this education resource were compared to student opinions of the prior year's digital teaching files. The new content was ranked as more user friendly (3.1 points versus 2.3 points) and more useful for learning anatomy (3.3 points versus 2.6 points). Many students reported that using the web portal was critical in helping them to better understand relationships of anatomical structures. These findings suggest that a well-organized web portal can provide a user-friendly, valuable educational resource for medical students who are studying Gross Anatomy